Let  <i> G</i> = 
{<i>a<sub>1</sub>,..., a<sub>n</sub> | w<sub>1</sub>,..., w<sub>t</sub></I>} and 
<i>G*</i> = <BR>{<i>a<sub>1</sub>,..., a<sub>n</sub> | w<sub>1</sub>,..., w<sub>t+ k</sub></i>}.
 Then <i>G*</i>  is a homomorphic  image of <i>G</i>.